O objetivo deste artigo é analisar os usos que Werner Heisenberg fez da filosofia grega em sua obra. Pretende-se relacionar tais usos não apenas com a argumentação interna presente nos textos do físico alemão, mas também com o contexto histórico, conflitos e debates entre as diversas interpretações da teoria dos quanta durante a primeira metade do século XX. Faremos, inicialmente, uma apresentação geral da teoria quântica e da presença da filosofia na obra de Heisenberg e, em seguida, um estudo de (...) caso da apropriação que Heisenberg fez do pensamento de Leucipo, Demócrito, Heráclito, Platão e Aristóteles. (shrink)

In the Critique of Pure Reason Kant argues that the empirical knowledge of the world depends on a priori conditions of human sensibility and understanding, i. e., our capacities of sense experience and concept formation. The objective knowledge presupposes, on one hand, space and time as a priori conditions of sensibility and, on another hand, a priori judgments, like the principle of causality, as constitutive conditions of understanding. The problem is that in the XX century the physical science completely changed (...) how we conceive our knowledge of the world. Face to this new situation, what was changed in our classical reason? However, if the transcendental point of view is adopted, in the specific case of quantum mechanics, we have to wonder about the general conditions of this theory that make possible such knowledge, which predictive value is much more accurate than the classical physics. The aim of this work is firstly to show the Kantian implications on Bohr’s interpretation of quantum phenomena and secondly to provide an overview of the key elements for understanding the transcendental locus of ordinary language in the quantum mechanics context, in order to give support to a transcendental pragmatic position in the analysis of science. (shrink)

With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Epistemic trespassers judge matters outside their field of expertise. Trespassing is ubiquitous in this age of interdisciplinary research and recognizing this will require us to be more intellectually modest.

G.E. Moore’s writings on external world skepticism show us, in broad outline, how to dispense with external world skepticism in a way that is satisfying, intellectually responsible, and yet avoids engaging in constructive epistemological theory-building altogether. His work thus reveals something very important about the relation between epistemology and ordinary life, and also about what it would take to reach a satisfying resolution of certain sorts of perennial philosophical problems.

O presente artigo tem por objetivo mostrar, desde a psicanálise freudiana, um caminho possível que a leva ao encontro da filosofia de orientação fenomenológica. Em O eu e o isso, de 1923, Sigmund Freud emprega uma nova noção pouco explorada na literatura psicanalítica: o eu-corpo. O escopo de nossa análise delimita-se à interpretação e à explicitação da noção de eu-corpo tal como esta foi apresentada por Freud, confrontando-a com a fenomenologia em Merleau-Ponty e Michel Henry. Para tanto, propomos uma análise (...) em quatro tempos. Inicialmente, evidenciaremos o entendimento de Freud sobre o modelo de psicologia originada em Brentano que tem como um de seus desdobramentos a fenomenologia. Depois, mostraremos como a concepção do isso, segundo o próprio texto de Freud, foi determinante para que ele formulasse uma revisão da primeira tópica e a incorporasse em uma segunda tópica. Por fim, nas últimas duas partes, examinaremos o tratamento dado por Merleau-Ponty e Michel Henry à questão do corpo. Concluímos que é possível o encontro entre a psicanálise e a fenomenologia via a noção de eu-corpo freudiano; contudo, tal condução implicará reformulações em teses centrais da psicanálise. (shrink)

Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

Inflicting harm is generally preferable to inflicting death. If you must choose between the two, you should generally choose to harm. But prenatal harm seems different. If a mother must choose between harming her fetus or aborting it, she may choose either, at least in many cases. So it seems that prenatal harm is particularly objectionable, sometimes on a par with death. This paper offers an explanation of why prenatal harm seems particularly objectionable by drawing an analogy to the all-or-nothing (...) problem. It then argues that this analogy offers independent support for the ‘voluntarist’ view that at least some parental role obligations are grounded in the choice to be a parent. (shrink)

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

I argue that there is moral luck, i.e., that factors beyond our control can affect how laudable or culpable we are.

This article evaluates an emerging element in popular debate and inquiry: DYOR. (Haven’t heard of the acronym? Then Do Your Own Research.) The slogan is flexible and versatile. It is used frequently on social media platforms about topics from medical science to financial investing to conspiracy theories. Using conceptual and empirical resources drawn from philosophy and psychology, we examine key questions about the slogan’s operation in human cognition and epistemic culture.

The Counterfactual Comparative Account of Harm says that an event is overall harmful for someone if and only if it makes her worse off than she otherwise would have been. I defend this account from two common objections.

According to deterrence justifications of legal punishment, legal punishment is justified at least in part because it deters offenses. These justifications rely on important empirical assumptions, e.g., that non-punitive enforcement can't deter or that it can't deter enough. I’ll challenge these assumptions and argue that extant deterrence justifications of legal punishment fail. In the process, I examine contemporary deterrence research and argue that it provides no support for these justifications.

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

A sequel to the author’s book /Frege’s Puzzle/ (1986).

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (shrink)

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

Rather infamously, Kit Fine provided a series of counter-examples which purport to show that the modalist program of analysing essence in terms of metaphysical necessity is fundamentally misguided. Several would-be modalists have since responded, attempting to save the position from this Finean Challenge. This paper evaluates and rejects a trio of such responses, from Della Rocca, Zalta, and Gorman. But I’m not here arguing for Fine’s conclusion – ultimately, this is a fight amongst friends, with Della Rocca, Zalta, Gorman, and (...) I all wanting to be modalists, but disagreeing on the details. As such, while my primary aim is to show what’s wrong with this trio, the secondary aim is demonstrating how what’s right about them in fact pushes one towards my own sparse modalist account. So while the primary conclusion of this paper is negative, the secondary, positive, conclusion is that modalists shouldn’t give up hope – plausible responses to Fine are still out there. (shrink)

Current discussions of hermeneutical injustice, I argue, poorly characterise the cognitive state of victims by failing to account for the communicative success that victims have when they describe their experience to other similarly situated persons. I argue that victims, especially when they suffer moral wrongs that are yet unnamed, are able (1) to grasp certain salient aspects of the wrong they experience and (2) to cultivate the ability to identify instances of the wrong in virtue of moral emotions. By moral (...) emotions I mean emotions like indignation that reflect an agent’s ethical commitments and bear on her ethical assessments. Further, I argue that victims can impart their partial understanding of the wrong they suffer to others who are not similarly situated by eliciting moral emotions such as pity that are tied to broad notions of justice and fairness. (shrink)

Some prominent scientists and philosophers have stated openly that moral and political considerations should influence whether we accept or promulgate scientific theories. This widespread view has significantly influenced the development, and public perception, of intelligence research. Theories related to group differences in intelligence are often rejected a priori on explicitly moral grounds. Thus the idea, frequently expressed by commentators on science, that science is “self-correcting”—that hypotheses are simply abandoned when they are undermined by empirical evidence—may not be correct in all (...) contexts. In this paper, documentation spanning from the early 1970s to the present is collected, which reveals the influence of scientists’ moral and political commitments on the study of intelligence. It is suggested that misrepresenting findings in science to achieve desirable social goals will ultimately harm both science and society. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

In recent years there has been an explosion of philosophical work on blame. Much of this work has focused on explicating the nature of blame or on examining the norms that govern it, and the primary motivation for theorizing about blame seems to derive from blame’s tight connection to responsibility. However, very little philosophical attention has been given to praise and its attendant practices. In this paper, I identify three possible explanations for this lack of attention. My goal is to (...) show that each of these lines of thought is mistaken and to argue that praise is deserving of careful, independent analysis by philosophers interested in theorizing about responsibility. (shrink)

Many philosophers think that punishment is intentionally harmful and that this makes it especially hard to morally justify. Explanations for the latter intuition often say questionable things about the moral significance of the intent to harm. I argue that there’s a better way to explain this intuition.

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

This paper argues for a novel interpretation of Hume's account of motivation, according to which beliefs can (alone) motivate action though not by standing as reasons which normatively favour it. It si then suggested that a number of contemporary debates about concerning the nature of reasons for action could benefit from such an approach.

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

According to “debunking arguments,” our moral beliefs are explained by evolutionary and cultural processes that do not track objective, mind-independent moral truth. Therefore (the debunkers say) we ought to be skeptics about moral realism. Huemer counters that “moral progress”—the cross-cultural convergence on liberalism—cannot be explained by debunking arguments. According to him, the best explanation for this phenomenon is that people have come to recognize the objective correctness of liberalism. Although Huemer may be the first philosopher to make this explicit empirical (...) argument for moral realism, the idea that societies will eventually converge on the same moral beliefs is a notable theme in realist thinking. Antirealists, on the other hand, often point to seemingly intractable cross-cultural moral disagreement as evidence against realism (the “argument from disagreement”). This paper argues that the trend toward liberalism is susceptible to a debunking explanation, being driven by two related non-truth-tracking processes. First, large numbers of people gravitate to liberal values for reasons of self-interest. Second, as societies become more prosperous and advanced, they become more effective at suppressing violence, and they create conditions where people are more likely to empathize with others, which encourages liberalism. The latter process is not truth tracking (or so this paper argues) because empathy-based moral beliefs are themselves susceptible to an evolutionary debunking argument. Cross-cultural convergence on liberalism per se does not support either realism or antirealism. (shrink)